1. Algebraic computability and enumeration models : recursion theory and descriptive complexity

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra

رده :
QA
169
.
N68A4